Automatic control of industrial peak loads

Automatic Test-Case Derivation and Execution in Industrial Control

In industrial control, system failures can be highly dangerous and expensive. To avoid them, much time and money is spent in testing the systems, and this occurs mostly manually. Model-based testing is a forthcoming and promising technique to automate the testing process, as it allows the automatic generation and execution of test-cases. It assumes the system under test to be a blackbox, implyi...

Control of Complex Peak-to-Peak Dynamics

The paper illustrates a method for the design of suitable controllers of chaotic systems characterized by complex peak-to-peak dynamics, namely by a recursive relationship between consecutive peaks (relative maxima) of a scalar output variable. For such systems, a reduced model can be defined which, in general, is a hybrid model composed of a one-dimensional map and a finite-state automaton. Th...

Everest: Scaling Down Peak Loads Through I/O Off-Loading

Bursts in data center workloads are a real problem for storage subsystems. Data volumes can experience peak I/O request rates that are over an order of magnitude higher than average load. This requires significant overprovisioning, and often still results in significant I/O request latency during peaks. In order to address this problem we propose Everest, which allows data written to an overloa...

Automatic verification of industrial designs

Virtual Machine Placement for Predictable and Time-Constrained Peak Loads

We present an approach to optimal virtual machine placement within datacenters for predicable and time-constrained load peaks. A method for optimal load balancing is developed, based on binary integer programming. For tradeoffs between quality of solution and computation time, we also introduce methods to pre-process the optimization problem before solving it. Upper bound based optimizations ar...